Lighting facilities for NAGOYA Dome arena

Integrated Lighting Approach Saves Energy in Post Office Facilities

The United States Postal Service (USPS) has made numerous efforts to improve the lighting quality and efficiency in their facilities. These efforts have included both traditional retrofits such as the transition to T8 lamps/electronic ballasts and more experimental approaches such as light pipes and sulfur lamps. However, these efforts have focused primarily on their industrial and plant facili...

Nagoya Termination Tool

This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the existing reduction pairs, and the efficiency due to the strong cooperation with external SMT solvers. We present some new ideas that contribute to th...

The Arena: December 1966: Arena

The Arena: December 1965: Arena

Proposal for Sustainable Dynamic Lighting in Sport Facilities to Decrease Violence among Spectators

Violence among spectators at sports events has become a serious problem, not only for its evident impact on safety, but also from the perspective of environmental, cultural, economic and social sustainability. Although it could be considered a purely social problem, some solutions could come from a smart and efficient design and management of the lighting installations. Thus, the management of ...